8729961aee97bc6288e670aabe74d960c88661f3,projects/baseLanguageExt/dev/source_gen/jetbrains/mps/baseLanguage/ext/collections/lang/helgins/typeof_RemoveAllElementsOperation_InferenceRule.java,typeof_RemoveAllElementsOperation_InferenceRule,applyRule,#SNode#,22

Before Change


        TypeChecker.getInstance().reportTypeError(arg, "sequence is expected");
      }
      if(!(TypeChecker.getInstance().getSubtypingManager().isSubtype(argumentElementType, expectedElementType))) {
        TypeChecker.getInstance().reportTypeError(arg, "" + expectedElementType + " is expected");
      }
    }
  }

After Change


      TypeChecker.getInstance().reportTypeError(argument, "couldn't define input list element type");
    }
    // ==========
    SNode arg = SLinkOperations.getTarget(argument, "argument", true);
    if(arg != null) {
      SNode expectedArgumentType = new QuotationClass_21().createNode(expectedElementType);
      SNode actualArgumentType = TypeChecker.getInstance().getRuntimeSupport().checkedTypeOf(arg);
      if(!(TypeChecker.getInstance().getSubtypingManager().isSubtype(actualArgumentType, expectedArgumentType))) {
        TypeChecker.getInstance().reportTypeError(arg, "" + expectedArgumentType + " is expected");
      }
    }
  }